Déploiement de systèmes répartis multi-échelles : processus, langage et outils intergiciels

Avec la multiplication des objets connectés, les systèmes multi-échelles sont de plus en plus répandus. Ces systèmes sont fortement répartis, hétérogènes, dynamiques et ouverts. Ils peuvent être composés de centaines de composants logiciels déployés sur des milliers d'appareils. Le déploiement est un processus complexe qui a pour objectif la mise à disposition puis le maintien en condition opérationnelle d'un système logiciel. Pour les systèmes multi-échelles, l'expression du plan de déploiement ainsi que la réalisation et la gestion du déploiement sont des tâches humainement impossibles du fait de l'hétérogénéité, de la dynamique, du nombre, mais aussi parce que le domaine de déploiement n'est pas forcément connu à l'avance. L'objectif de cette thèse est d'étudier et de proposer des solutions pour le déploiement de systèmes répartis multi-échelles. Nous proposons tout d'abord une mise à jour du vocabulaire relatif au déploiement, ainsi qu'un état de l'art sur le déploiement automatique des systèmes logiciels répartis. Le reste de la contribution réside dans la proposition : d'un processus complet pour le déploiement autonomique de systèmes multi-échelles ; d'un langage dédié (DSL), MuScADeL, qui simplifie la tâche du concepteur du déploiement et permet d'exprimer les propriétés de déploiement ainsi que des informations concernant la perception de l'état du domaine de déploiement ; d'un middleware, MuScADeM, qui assure la génération automatique d'un plan de déploiement en fonction de l'état du domaine, sa réalisation puis le maintien en condition opérationnelle du système.Due to increased connected objects, multiscale systems are more and more widespread. Those systems are highly distributed, heterogeneous, dynamic and open. They can be composed of hundreds of software components deployed into thousands of devices. Deployment of software systems is a complex post-production process that consists in making software available for use and then keeping it operational. For multiscale systems, deployment plan expression just as deployment realization and management are tasks impossible for a human stakeholder because of heterogeneity, dynamics, number, and also because the deployment domain is not necessarily known in advance. The purpose of this thesis is to study and propose solutions for the deployment of distributed multiscale software systems. Firstly, we provide an up-to-date terminology and definitions related to software deployment, plus a state of the art on automatic deployment of distributed software systems. The rest of the contribution lies in the proposition of: a complete process for autonomic deployment of multiscale systems ; a domain specific language, MuScADeL, which simplifies the deployment conceptor task and allows the expression of deployment properties such as informations for the domain state probing ; and a middleware, MuScADeM, which insures the automatic generation of a deployment plan according the domain state, its realization and finally the maintenance in an operational condition of the system

A DSL for multi-scale and autonomic software deployment

International audienceIn this paper, we present an ongoing work which aims at defining and experimenting a Domain-Specific Language (DSL) dedicated to multi-scale and autonomic software deployment. Autonomic software deployment in open environments is an open issue. There, the topology of target hosts is not always known due either to unforeseen hardware failures or limitations (network links, hosts, etc.) or to device arrival and disappearance. In a previous work, we proposed to describe deployment constraints using a DSL and then to satisfy them using a middleware for autonomic deployment, rather than classically building and executing a deployment plan. As deployment of multi-scale distributed systems demands the expression of specific constraints related to dimensions and scales, it is necessary to think over and define a new Domain-Specific Language. In this paper, we propose a new DSL designed to support the expression of constraints and properties related to multi-scale and autonomic software deployment

Formalisation de l'expression d'un plan de déploiement autonomique à base de contraintes

International audienceLes systèmes ambiants sont devenus massivement distribués. Le nombre d'appareils hétérogènes, et la variété de composants logiciels à déployer sur ces systèmes pour en assurer le bon fonctionnement ne cessent de croître. Leur topologie est en évolution constante, liée à l'apparition et la disparition des dispositifs mobiles. De ce fait, le déploiement de logiciel dans ces systèmes est un problème ouvert. Notre approche pour diminuer la complexité de cette opération, est le déploiement autonomique. Dans cet article, nous partons d'un langage dédié (DSL) nommé MuScADeL, pour lequel nous proposons une formalisation de l'expression du déploiement autonomique. Ensuite, nous montrons comment traduire les propriétés de déploiement en un problème de satisfaction de contraintes, et comment nous obtenons un plan de déploiement conforme qui sera enfin interprété par un intergiciel de déploiement autonomique

Récupération de l'état d'un domaine de déploiement.

Afin d'effectuer un déploiement autonomique, le système de déploiement a besoin de récupérer des informations (processeur, mémoire, connectivité, versions logicielles...) concernant les appareils constituant le domaine de déploiement. Dans cette démonstration, nous montrons notre prototype multiplateforme (y compris Android) de récupération de l'état du domaine

Connecter l'écosystème OCaml à Software Heritage via opam

National audienceSoftware Heritage est un projet initié par Inria ayant pour but d'archiver l'ensemble des logiciels libres disponibles sur internet. Dans cet article nous présentons Software Heritage et décrivons nos travaux en lien avec l'écosystème OCaml, opam et Software Heritage. Ces travaux comprennent notamment l'ajout à Software Heritage de modules permettant l'archivage des paquets présents sur opam, le développement d'une bibliothèque OCaml permettent de travailler avec les identifiants Software Heritage, l'ajout à opam de la possibilité de récupérer sur Software Heritage des paquets qui ne sont plus disponibles et enfin la correction du dépôt opam officiel afin de retrouver les paquets déjà manquants. Aujourd'hui, 3516 paquets opam sont déjà archivés sur Software Heritage

Projet INCOME : INfrastructure de gestion de COntexte Multi-Echelle pour l'Internet des Objets

International audienceCet article donne un aperçu du projet de recherche INCOME financé par l'Agence Nationale de la Recherche française en décrivant la fiche d'identité du projet, ses principaux enjeux scientifiques ainsi que les premiers résultats obtenus

Gestion de contexte multi-échelle pour l'Internet des objets

Cet article présente une architecture logicielle de gestion de contexte multi-échelle pour l'Internet des objets. Nous présentons d'abord quelques défis spécifiques auxquels est confrontée cette nouvelle génération d'intergiciels, tels que la communication répartie en modes push et pull, la sensibilité multi-échelle, et la réponse à des exigences et des garanties de qualité de l'information de contexte et de respect de la vie privée. Nous donnons ensuite la vision du projet INCOME pour répondre à ces défis en fournissant une infrastructure répartie de gestion de contexte et en assurant son déploiement de manière autonomique

Deployment of distributed multiscale software : process, langage and middleware

Avec la multiplication des objets connectés, les systèmes multi-échelles sont de plus en plus répandus. Ces systèmes sont fortement répartis, hétérogènes, dynamiques et ouverts. Ils peuvent être composés de centaines de composants logiciels déployés sur des milliers d'appareils.Le déploiement est un processus complexe qui a pour objectif la mise à disposition puis le maintien en condition opérationnelle d'un système logiciel. Pour les systèmes multi-échelles, l'expression du plan de déploiement ainsi que la réalisation et la gestion du déploiement sont des tâches humainement impossibles du fait de l'hétérogénéité, de la dynamique, du nombre, mais aussi parce que le domaine de déploiement n'est pas forcément connu à l'avance. L'objectif de cette thèse est d'étudier et de proposer des solutions pour le déploiement de systèmes répartis multi-échelles. Nous proposons tout d'abord une mise à jour du vocabulaire relatif au déploiement, ainsi qu'un état de l'art sur le déploiement automatique des systèmes logiciels répartis. Le reste de la contribution réside dans la proposition : d'un processus complet pour le déploiement autonomique de systèmes multi-échelles ; d'un langage dédié (DSL), MuScADeL, qui simplifie la tâche du concepteur du déploiement et permet d'exprimer les propriétés de déploiement ainsi que des informations concernant la perception de l'état du domaine de déploiement ; d'un middleware, MuScADeM, qui assure la génération automatique d'un plan de déploiement en fonction de l'état du domaine, sa réalisation puis le maintien en condition opérationnelle du système.Due to increased connected objects, multiscale systems are more and more widespread. Those systems are highly distributed, heterogeneous, dynamic and open. They can be composed of hundreds of software components deployed into thousands of devices. Deployment of software systems is a complex post-production process that consists in making software available for use and then keeping it operational. For multiscale systems, deployment plan expression just as deployment realization and management are tasks impossible for a human stakeholder because of heterogeneity, dynamics, number, and also because the deployment domain is not necessarily known in advance. The purpose of this thesis is to study and propose solutions for the deployment of distributed multiscale software systems. Firstly, we provide an up-to-date terminology and definitions related to software deployment, plus a state of the art on automatic deployment of distributed software systems. The rest of the contribution lies in the proposition of: a complete process for autonomic deployment of multiscale systems ; a domain specific language, MuScADeL, which simplifies the deployment conceptor task and allows the expression of deployment properties such as informations for the domain state probing ; and a middleware, MuScADeM, which insures the automatic generation of a deployment plan according the domain state, its realization and finally the maintenance in an operational condition of the system

Récupération de l'état d'un domaine de déploiement

National audienceAfin d'effectuer un déploiement autonomique, le système de déploiement a besoin de récupérer des informations (processeur, mémoire, connectivité, versions logicielles...) concernant les appareils constituant le domaine de déploiement. Dans cette démonstration, nous montrons notre prototype multiplateforme (y compris Android) de récupération de l'état du domaine

Récupération de l'état d'un domaine de déploiement

National audienceAfin d'effectuer un déploiement autonomique, le système de déploiement a besoin de récupérer des informations (processeur, mémoire, connectivité, versions logicielles...) concernant les appareils constituant le domaine de déploiement. Dans cette démonstration, nous montrons notre prototype multiplateforme (y compris Android) de récupération de l'état du domaine